Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
51	Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach Mehrdad Sabetzadeh Steve Easterbrook Department of Computer Science, University of Toronto Toronto, ON M5S 3G4, Canada. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-28 15:48:41 Limit Complete category Pushout Initial and terminal objects Topos Dual Diagram Coequalizer Category of topological spaces Category theory Mathematical analysis Abstract algebra
52	PDF Document Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-05-23 09:08:20 Functors Limit Diagram Initial and terminal objects Pushout Sheaf Adjoint functors Universal property Cone Category theory Mathematics Abstract algebra
53	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-02-11 11:00:00 Exact functor Limit Equivalence of categories Initial and terminal objects Universal property Grothendieck topology Subcategory Diagram Coproduct Category theory Abstract algebra Functors
54	Erasmus Mundus Master ALGANT MASTER THESIS On Gauss’s 3 squares theorem by Bas Edixhoven Add to Reading List Source URL: www.algant.eu Language: English - Date: 2012-07-12 17:53:13 Morphisms Group theory Category theory Homological algebra Group scheme Functor Homomorphism Adjoint functors Initial and terminal objects Abstract algebra Algebra Scheme theory
55	Products in dagger categories with complete ordered Mor-sets by Victor Porton Email: [removed] Web: http://www.mathematics21.org March 31, 2014 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-03-31 13:48:22 Limit Category Sheaf Coproduct Morphism Product Equivalence of categories Initial and terminal objects Category theory Abstract algebra Mathematics
56	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic
57	Initial Analogies: Line in Plane, Plane in Space, Line in Space #33 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:22:04 Abstract algebra Linear algebra Vectors Surfaces Linear equation Trigonometric functions Vector space Line Euclidean vector Algebra Mathematics Vector calculus
58	Category Theory: an abstract setting for analogy and comparison R. Brown and T.Porter Abstract ‘Comparison’ and ‘Analogy’ are fundamental aspects of knowledge acquisition. We argue that one of the reasons for the Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2005-10-05 12:18:56 Functors Algebraic structures Homotopy theory Higher category theory Groupoid Category Natural transformation Initial and terminal objects Group action Abstract algebra Category theory Mathematics
59	Initial details required before Contract + Financial Documents can be prepared Type of Hubbed produce: CONNECT Lite Add to Reading List Source URL: www.anf.net.au Language: English - Date: 2014-02-03 18:38:29 Electronic commerce Computing Linear algebra Matrix theory Non-negative matrix factorization Email Debit card Credit card Fax Technology Payment systems Mathematics
60	Derived categories. Winter[removed]Igor V. Dolgachev May 5, 2009 ii Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2009-05-05 15:12:00 Functors Additive categories Homological algebra Initial and terminal objects Functor category Functor Yoneda lemma Natural transformation Abelian category Category theory Abstract algebra Mathematics

UPDATE